$\forall$$p$,$q$:$\mathbb{B}$. ($\uparrow$($p$ $\vee_{b}$$q$)) $\Leftarrow\!\Rightarrow$ (($\uparrow$$p$) $\vee$ ($\uparrow$$q$))